Self-Iterating Soft Equalizer

Factor-Graph-Based Soft Self-Iterative Equalizer for Multipath Channels

We consider factor-graph-based soft self-iterative equalization in wireless multipath channels. Since factor graphs are able to characterize multipath channels to per-path level, the corresponding soft self-iterative equalizer possesses reduced computational complexity in sparse multipath channels. The performance of the considered self-iterative equalizer is analyzed in both single-antenna and...

Iterating Octagons

In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct consequence of this fact is that the reachability problem is decidable for flat counter automata with octagonal transition relations. This result improves the previous results of Comon and Jurski [7] and Bozga, Iosif and Lakhnec...

Iterating Transducers

Iterating Definiteness

A central concept in the study of vagueness is the concept of a borderline case. This concept has its most basic application when we are faced with a question of the form ‘Is x F?’, but are unwilling to answer ‘Yes’ or ‘No’ for a certain distinctive kind of reason. Wanting to be co-operative, we need to say something; by saying ‘It’s a borderline case’, we excuse our failure to give a straightf...

A New Bi-Directional Soft Decision Linear Equalizer

A novel low complexity soft-input soft-output equalizer is proposed for reducing the effects of intersymbol interference channels. The equalizer uses a bi-directional multipass algorithm to successively improve a soft interference canceler/adaptive linear filter combination. The resulting transmitted symbol estimates are calculated with computational complexity of cubic order in channel memory ...